$\forall$$i$:Id. R{-}Feasible(onceR\{a:ut2, done:ut2\}($i$))